$def with (case, casenote)


$:{casenote}








